退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在Coq中进行有效的精确实数运算的类型类
Krebbers, R.J.; Spitters, B.;
机译:RealLib:精确实数算法的有效实现
机译:有限型和算术类实数的?〜d个子移位的增长型不变量
机译:Coq中经过计算机认证的高效准确实物
机译:使用浮点操作懒惰的确切实际算术
机译:埃及伊蚊的遗传多样性实验室菌株中有效的垂直和性传播2型登革热病毒的证明
机译:计算机认证的高效精确实物
机译:精确的实际计算机算法
机译:实非线性算术约束的有效决策方法
机译:实数非线性约束的有效决策方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。